What for do we need this redefinition?