Correct capitalization of JS filename