I stand corrected, Quattro, the proper terminology is extractor spring. (#40 in the parts diagram in the owner's manual)
The problem was cured, by the way, as described in an earlier post. I've since shot over 200 rounds using that modified bolt (in another gun) and had only one failure to close properly. I won't complain about that one incidence.