Fix #873