tutorial: fix tcpserver snippet