Fix naming of some files