fixes #871