Fix720

Fixes #720