corrections of typos