Several editorial corrections and improvements