Fixed in #10748