well, this test itself is broken. @kai33  and I did not bother to fix the test here--so we just leave it like this