fixes #773