Fixes #713.