Fix #6707.