Leslie Mann was the umpire .
Leslie Mann had pushed strongly for inclusion of baseball as an Olympic sport .
Leslie Mann , who had pushed strongly for inclusion of baseball as an Olympic sport , was the umpire .