Fix #8219