Ah, you're right. It used to be varargs and we changed it. My bad!