trying a fix for #411