Refer to all_servers array defined earlier.

Looks like this array was renamed without references to it in the rest of the example being updated.