fixed bad casing of HTML filename.