Small Typos found in 7.1 and 7.2