bugfix in renaming