fixup! Added an explicit destructor for MatcherException