Revisions and corrections of typos