Fixes #719