Fix #7983