Fixes #721