Typos and formatting tweaks for exercise 1.3