Removed an spurious comment.