fixes #805