Update formal.tex

Changed the period ending the line to a colon, to be consistent with lines 285 and 294, and to avoid a lowercase letter following a period.