Change title of HTML doc.