Fix #9785