minor changes to main() function in class TestbedExperimentManager