fixing issue #9