RegExp update

ReqExp would only catch the *first* of several digits (in flex23
classname).