Add test for #13