Fix and complete the introduction of the new extension