Be explicit with superclass naming.

[#80370058]