Fix github issue #38