Fix #9961901