Those were missing, not particularly harmful, but still needed for
correctness.