fix for #258