Fix #7565