Removed spurious comment.