Fix a definition mistake