Correct filename listed in the opening comment block