Testcase for a potential bug