Add  testcase for #10.