Minor fixes to doc comments.