Add tests for #9441