gh-710

fixes #710