Fix PR1739.