Youngest dinocephalian fossils extend the Tapinocephalus Zone, Karoo Basin, South Africa.