Some forgotten renamings