[^] renamings