Fix #8366