Minor fix to the Redis link