A change missing from a previous commit