minor bug fix (github issue #17)