4.3.1 typos