Some more missing renamings