Fix bug #1685.