- Fix bug #9.