Fix a stupid bug in definition.