Update HTMLDocument.php