Fixes #803