⚠ Version 1 of The Plant List has been superseded.
This name is in version 1.1 of The Plant List, record tro-35170037, with some changes.
This name is a synonym of Distichophyllum jungermannioides .
The record derives from Tropicos which reports it as a synonym (record 35170037
) with original publication details: Syn. Musc. Frond. 2: 660 660 1851.