update example for redis to work