A few minor modifictions.