Fix #7857