odd, this test case ought to have failed