fix info flow errors