Some minor changes to comments.