Fix #8471