Fix #7897