more tests for #712