Typos and refinements.