Fix #9171