Fix #7194