Fix #8069