Definitions typo