Fix bug #88.