Some additions and corrections.