Fix bug #9