Possible fix for #1920