It’s been like that for decades to be honest. Ceres used to be called a planet, but you don’t see anyone complaining about it’s demotion