Yes it is - be nice to see Pluto still called a planet. If they really want to be strict, Mercury could be demoted to a dwarf planet as well since it is smaller than the moons Titan and Ganymede, which would leave 7 planets. Probably shouldn't give them any ideas.
Ceres, the beer planet.
:^) When the next interstellar bombardment arrives, basically without warning, whatever civilization arises long after will have to go through all this again, possibly with some escaped moons they'll have to make a decision about.
Meanwhile, ending a sentence with a preposition, as I just did, is something up with which we should not put.