Reformat in pattern matching section.