Minor typos and adjustements