minor comment.