Revert an erroneous change.