Minor typos and language improvements.