some typos and rearrangements