Minor tweaks to comments.