Reformat the Redis example code