Added explicit superclass naming. [#80370058]