typos fixed and definitions updated