Changed name of html document.