Fixes #833