Testcase actually detected a bug