fix name of html document