Simpler test for #56