Failing test for #5112