Test for #12203