tiny fix on doc.html in templates