fix #4115