possible fix for #263