fixes #771