Renaming of the file went wrong in the previous commit