Minor clarifications in help messages and a comment.