Fix socket.tcp_server() usage