corrected many small typos