fix for #253