Hmm I wonder why this clause was missing from this match before. Does it prevent some sort of a crash for the case of an elaborate erroneous tree?