Test for #20143