Why do we need this twice for the document and for html?