Provide testcase for #9