small refactoring in the introduction of the section 2.