test for #12