fix #4051