fix #4038