Fix #860.