Trichoceros muralis Lindl., Gen. Sp. Orchid. Pl.: 174 (1833).