Fix #9795