Hottonia inflata, Elliott (1817)