Small fix in definitions.