fix an old test case that was always wrong anyway