Minor corrections and improvements