The common name for Osteolaemus tetraspis tetraspis is African dwarf crocodile