fixed some filenames