Correct multiserver example