Fix #9314