testcase for #53