fixes #717