fix maths on the pattern-matching page