Small corrections and improvements