Fix an incorrect definition