that was a bug; I wonder how it never got caught