Some small typos fixed.