fixes #875