A few minor corrections.