Fixed some major bugs in a definition.