Lorali Hart/Texas Starr?

The IMDB cast list identifies both Texas Starr as "Cat Dance" and Lorali Hart as "Cat Girl (uncredited)." Considering that there is only one "cat girl," I would assume that Texas Starr is actually a pseudonym for Lorali Hart, rather than a separate person. I plan on submitting a correction, but I just wanted to check first to see whether anyone can confirm for certain that Lorali Hart and Texas Starr are one and the same.

---
"Little do they know how little I know about the little there is to know." - Neddy Seagoon