possible fix for #1251