fixes #715