Fix #8733