trivial fix file names