Typo: Missed period in the second-to-last line of Ex. 3.4.3