Definitions & typo corrections