fixes #753