fix #3714