fix bug #717