Minor typographic change.