Revert the previous commit: the input format must not change.