fix #4135