Redis integration

Fixed in all the places I saw.