Fixed #873.