Original: They are used for dwarf planets and small Solar System bodies such as asteroids , but not comets .
Simplified: At that point , Pluto was given the formal designation (/O134340/O) Pluto .