A demonstration of the bug found in DATACMNS-511