Pacified complaints about stray typename from old gcc … very old (4.1.2)