Formatting tweaks and one typo