Fixing a minor bug in the model-net test case, the number of servers was specified incorrectly for the simplenet case