Fix #6399