Fixes #753