Fixed issue #9.