fixes #761