Add a failing test for #12; try to see how to fix