After months of tension, Mayor Brandon Johnson told Chicago Public Schools CEO Pedro Martinez this week that he wants the embattled schools chief to leave his position, three sources told the Chicago Sun-Times and WBEZ.

Chicago Mayor Brandon Johnson asked Chicago Public Schools Chief Executive Officer Pedro Martinez to step down this week, several sources close to the matter confirmed with the Chicago Tribune.

Mayor Brandon Johnson’s request for Martinez to step down comes weeks after reports that Johnson was already laying the groundwork to replace him.