fixes #764