Fix #7282.