Update other_doc.html