Fixes #848