Fix #8727