Minor html cleanup on documentation