Correct main file name