fixes #881