minor fix. associate with issue #9