small edits, typos fixed.