Fix spacing on page 50, section 1.12.2