This is about #10040.