Fixes #713