Some corrections and improvements.