fix #717