fixed some mininet stuff