Fix #10720