Make doc-comment style more consistent, fix typos.