New release, with fixed typos.