Fix doc-comment formatting