Typo: missed period in the second-to-last line of Ex. 4.3.4