Some slight corrections and simplifications.