fix #4399