Fix #6698