Corrections: style, a typo.