Fix #5608