Change of name of Diplotrema barbi Tripathi, 1959. Indian Journal of Helminthology, 11 1960: 116. 116 [Zoological Record Volume 98]