Fix bug #1685.

Fixes bug 1685.