Correct filename in html.