Fix one bug in test code (even though this test purposefully fails)