Fixing some file names