More doc-comment fixes.