Fix type in redis servers attribute