Update example with redis