minor edits in sdx_mininet.py