Fix #10423