fix a few filnames