Updated doc.html