closes #873