Trivial correction to comment.