(Top): Undo the previous renaming.