Fixes #754