Revert trivial change.