Editing sections regarding definition of the dual map