Fix extention name under optional dsl section.