Google employees discussed changes to the company’s web search functions in an effort to counter the Trump administration’s controversial travel ban that went into effect last year, the Wall Street Journal reported Thursday.

The tweaks to the system would have shown users how to contribute to pro-immigration organizations and how to contact lawmakers and government agencies, the newspaper reported, citing internal company emails.

The Journal reported that the emails discussed ways to “leverage” search functionality to combat what they considered to be “islamophobic, algorithmically biased results from search terms ‘Islam’, ‘Muslim’, ‘Iran’, etc.” and “prejudiced, algorithmically biased search results from search terms ‘Mexico’, ‘Hispanic’, ‘Latino’, etc.”

Google said Thursday that none of the ideas discussed were ever implemented.

“These emails were just a brainstorm of ideas, none of which were ever implemented,” a Google spokesperson said in a statement. “Google has never manipulated its search results or modified any of its products to promote a particular political ideology — not in the current campaign season, not during the 2016 election, and not in the aftermath of President Trump’s executive order on immigration. Our processes and policies would not have allowed for any manipulation of search results to promote political ideologies.”

That may do little to satisfy President Donald Trump, who last month accused Google of political bias. He tweeted that Google’s search results are “RIGGED,” saying the company is “suppressing voices of Conservatives.”

“Let’s face it, most people here are pretty upset and pretty sad because of the election,” Brin, who also serves as president of Google parent company Alphabet, said in the video. “As an immigrant and a refugee, I find this election deeply offensive, and I’m sure many of you do too.”

Last year, Pichai joined Apple CEO Tim Cook and Amazon CEO Jeff Bezos and more than 300 others in signing a group letter to Trump, expressing their opposition to his decision to end DACA, a controversial Obama-era immigration program that offers undocumented immigrants who came to the US as children a chance to work and study without fear of deportation.

A Google spokeswoman said last week that the remarks at the meeting have no bearing on how Google builds its products.