Fixes #707