Oh huh, looks like you're right. The type tests pass, but I'll fix that.