Missed this before -- these are unused.  Ditto in the header of StringMatch.