fix to issue #7