a3: fix some typos