Fixes #772