Correct JS filenames