So the inconsistency must be in t:he lists used by G5:

Genus    Cephalops Fallén, 1810
Species    Cephalops aeneus Fallén, 1810
Species    Cephalops carinatus (Verrall, 1901)
Species    Cephalops obtusinervis (Zetterstedt, 1844)
Species    Cephalops perspicuus (de Meijere, 1907)
Species    Cephalops semifumosus (Kowarz, 1887)
Species    Cephalops subultimus Collin, 1956
Species pro parte    Cephalops titania partim Coe, 1966
Species    Cephalops ultimus (Becker, 1900)
Species    Cephalops vittipes (Zetterstedt, 1844)
Species    Cephalops signatus (Becker, 1900)
Species    Cephalops chlorionae (Frey, 1945)
Species    Cephalops pannonicus (Aczél, 1939)
Species    Cephalops penultimus Ackland, 1993
Subgenus    Parabeckerias De Meyer, 1994
Subgenus    Semicephalops De Meyer, 1994
Subgenus    Beckerias Aczél, 1939
Subgenus    Cephalops Fallén, 1810
Species    Cephalops (Beckerias) pannonicus (Aczél, 1939)

C. varipes does not appear at all.  EOL as an 'authority' does not suggest that they are synonyms.  It is not a genus I know anything about, so if the transfer from semifumosus to varipes is the latest thinking, then fine.  But it is always unsettling when R6 gives one result and the Gateway another.  I'm just flagging it up.

M.

As Mike says, the Gateway is lagging behind with taxonomy updates. A few months ago Peter Chandler informed me that there were a lot of little changes that should be done to the Diptera taxonomy in the UKSI and part of that was with the Pipunculidae (also Mycetophilidae, Keroplatidae, Limoniidae and others).

The Diptera checklist itself still needs to be updated but this is a huge job that I haven't been able to schedule yet - so the Nameserver & Organism tables should reflect the correct taxonomy (and users can record against the correct names), even if the checklist is behind the curve a bit :)