closes #717