Changes a little in the MatchPrinter