Leptus villosus Mihelčič, 1964 is a junior secondary homonym of Leptus villosus (Berlese, 1910); Leptus errabundus nom. nov. is proposed as a replacement name for L. villosus Mihelčič, 1964. Leptus calvatus Mihelčič, 1958 is a junior primary homonym of Leptus calvatus Willmann, 1951 ; Leptus incertus nom. nov. is proposed as a replacement name for L. calvatus Mihelčič, 1958. Leptus diversus Mihelčič, 1958 is a junior primary homonym of Leptus diversus Mihelčič, 1958, Leptus furibundus nom. nov. is proposed as a replacement name for L. diversus Mihelčič, 1958. Leptus diversus var. variatus Mihelčič, 1958 is raised to the species rank. Abrolophus longipes (Schweizer and Bader, 1963) comb. nov. is a junior primary homonym of Abrolophus longipes (Willmann, 1951) comb, nov.; Abrolophus baderi nom. nov. is proposed as a replacement name for A. longipes (Schweizer and Bader, 1963).