fixes #808