Mininet CE CLI fix.