test for #9