trying a fix for #65