redis: a few fixes as usual