Fix doc comment style/layout. See #751.