Fixed bug in regex search; fixed numerous PROCtor issues