l'extensio era incorrecta