possible fix for #1248