corrected several small typos