Fix a comment.
Minor tweaks.