Corrections: style, typos.