Fixes #777