Modify the setter of document.title according to HTML spec.