small fix (issue #7)