Typos
4.2.5