fixes #707