Mychodeophyllum papillitectum Kraft, 1978: 579–586, figs. 25–28, 44–46 (type locality: Port Denison, Western Australia).
INDIAN OCEAN DISTRIBUTION: Australia.