- Correct extension types