Minor typos and syntactical changes