fix for #259