Update redis.h