fix up socketio.py