test case for #15