Fix #1675.