proposed fix for #790