some typos, some polishing

small changes here and there.