fixed a couple of file names