fixes #831