fix issue #3714