Fix bug #7.