Correct definition 2.17

Seems to be wrong in the handwritten script too.