some typos fixed and minor adjustments