some typos and styles fixed