add a test for #8209