Fix typo in defintion documentation