fixes #719