Minor typos and improvements