fixes #833