fixes #745