Minor typos and adjustments