renaming proper