Typos and small improvements.