bug fix: issue #3