Minor file name fix