fixes #713