Typos amended.