[magduf]

I agree, however with so many "moons" now known and more being discovered constantly, and so many of those being really nothing more than asteroids and possibly fragments and debris from past collisions, and in light of the change of the definition of "planet", I would not at all be surprised if the astronomers decided to change the definition of "moon" to also include hydrostatic equilibrium, and then captured asteroids like Mars' to be renamed "minor moons" or similar.