It's not. It was mentioned in this tweet. It was given to her in the script. Although her name was not actually mentioned an episode so far I wouldn't be surprised if they ended up changing it in future episodes.

Don't forget Stephen Stotch was at times called "Chris" in the first few seasons and the whole thing with Jimmy's last name.

Community content is available under CC-BY-SA unless otherwise noted.