Fix #6618.