Fix #722.