Fix #8944