Undo rename - it was correct in the first place!