Revert erroneously-added control sequence at the top fo the file.