add a test for #8707