A bunch of renamings