Small fix for new TcpListener api