Jumping spiders (Araneae: Salticidae) in the Cincinnati region of Ohio, including Butler, Clermont, Hamilton, and Warren Counties - Oehler, C. M. (Ohio Biological Survey Notes, 1980)