fix #4376