My understanding was part of the definition was changed thereby recategorizing Pluto?