few tiny typos corrected