some small problems with filenames