fix #4380