Fixes #826