Fixes #715.