eliminate .html.