Fix #7866