Fix a bug in the bugfix
Fix renamer