fixes #873