Fixed name of html doc