Minor corrections and improvements.