fixes #777