fix #4253