Fix #770.