Fix #717