Fix doc-comments