Some corrections on Extensions.