tests for #712