minor name fixes

I mean the files aren't there, so does it really matter if the names
match?