There is debate over the binomial name, most vendors in the U.S. still list them as Micronemacheilus pulcher.
After speaking to a good friend, who is also an authority on Asian freshwater fish, Traccatichthys pulcher is the current accepted name. (For how long, we shall see....)