Fix typographical error in the "Definitions" section.