Removed somehow incorrect comment.