Editing: Redis.php