Definitions fixed