fix #4037