Undo a bad change that slipped in