This makes Paranthodon africanus the proper name for the taxon previously known as Palaeoscincus africanus and Paranthodon owenii.
Czyni to właściwą nazwą Paranthodon africanus zamiast poprzednich nazw Palaeoscincus africanus i Paranthodon owenii.