correction extrapositions