Yep, and what they call Planet 9 now was what we called Planet X back then.
Planet X really means Planet 10. Back during the search for Pluto, Ceres was considered a planet. Later it was classified an asteroid. Now it’s classified as a dwarf planet, same as Pluto.