proposed fix for #1091