Updated doc.html with shorter names