Typos in 5.2 and 10.5