Fix comments in sphinx-doc.el