fixup! Added missing header
fixup! Added an explicit destructor for MatcherException