A few typos amended