Fix #6473