Tried to reproduce the bug, but this test case is working fine