minor clarifications and corrections of typos