Add a spec verifying that 7035d9d fixes #41