gh-871

fixes #871