Some minor corrections and improvements.