Fix bug #8.