Fixed in #10723