This is about #10853.