Pleistocene vertebrates from Celebes. XII. Notes on pygmy stegodonts [journal article by D. A. Hoijer]