A few small typos and refinements.