Minor correction in comment.