Yeah. The gas giants are clearly way different from rocky planets and we still keep them all under one taxonomical grouping. Pluto and other bodies should have been an extension of that: make them dwarf planets or whatever other classification you want. But they're still planets. Theres no "demotion" just a further categorization.