fixes #795