Manual correction of the crsp_bootstrap errors I just fixed in the rules