Over half a century ago, Mertens (1955) noted that the name Agama bibronii A. Duméril in Duméril & Duméril, 1851 for a North African agamid lizard species was preoccupied by Trapelus (Psammorrhoa) bibronii Fitzinger, 1843, a species inhabiting South Africa. He consequently stated that the next available name for Agama bibronii ‘Duméril, 1851’, namely Agama colonorum var. impalearis Boettger, 1874 should be applied to this taxon. Until today, the herpetological literature contains examples where either Agama bibronii ‘Duméril, 1851’ or Agama impalearis Boettger, 1874 is used to denominate the North African rock agama. However, an apparently overlooked ruling by the Commission suppressed the name Trapelus (Psammorrhoa) bibronii Fitzinger, 1843, so that Agama bibronii A. Duméril in Duméril & Duméril, 1851 is the valid name for the North African rock agama.