test for #13