Fix documentation about current redis implementation