TBD-1162: Append test case to illustrate the bug