small renamings