TBD-1220: Append the test case to illustrate the bug