fix for #263