fixes #835