update redis.rst