Added comment to Definitions.