Fix warnings reported by gen_doc.sh