here is the test that verifies the bug and the fix