fix issue #5720