Hydrochus lacustris Nietner, 1856

Hydrochus lacustris Nietner, 1856: 14; Hansen 1999a: 58; Hansen 2004: 43; Mukhopadhyay & Sengupta 2004: 451; Fikáček et al. 2015b: 36; Devi et al. 2017: 7.

Hydrochous lacustris: Zaitzev 1908a: 335.

Amrishius lacustris: Makhan 1998: 143.

Type locality: Sri Lanka, Colombo (Hansen 1999a).

Distribution in India: Manipur (Loktak Lake).

Global distribution: India, Sri Lanka, and Vietnam.