fixes #876