fix for #38