adding testcase for #13