fix mininet services instructions