fixes #760