Fixed a typo in definition 3.43