fix #4415