Fix PR1734.