fix for #257