Some clarifications, corrections of typos.