Regression test for #10

This PR adds it.