Fixes #768