Fix minor bug in file renaming