Add a test for #12