this test fails for the case mentioned in the issue