Dorylaimus antarcticus Steiner, 1916

becomes: Antholaimus antarcticus (Steiner, 1916) n. comb.