Fixed a comment in the definitions section.