Fix nflinfo rare error.