Fixes #793