A few minor changes and corrections.