Fixes #801