failing test for #9215