fixes #870