That’s one of the minor changes the Justice Department made to its proposed final judgement in its antitrust case. The DOJ Antitrust Division is still operating under an acting chief as President ...