sec 3: mostly typos