After a great deal of public outcry, San Jose sent a statue of Christopher Columbus packing from its place in city hall. This year, the San Jose City Council is further distancing itself from the problematic Italian explorer by essentially giving the boot to the holiday that bears his name.

On Tuesday, Mayor Sam Liccardo and the council issued a proclamation recognizing next Monday, Oct. 12, as Indigenous Peoples’ Day in San Jose. The Columbus Day holiday officially is still on the books and city workers still get the day off, but San Jose isn’t recognizing it by name, which actually has been the case for the past few years.