Fixes #843