Mikrus ugandensis, a new genus and species of diminutive jumping spider from eastern Africa (Araneae: Salticidae). Genus (Wroclaw), 12(4), 28 December 2001: 585-588. 585 [Zoological Record Volume 138]