fix #717599