Ah, I hadn't noticed the extra argument. Disregard this comment, then.