Fix #7758