I don't think that's right. I think i threw that together quick to make it typecheck and never looked back.