About extensions