Fixes #722.