Fixes #800