Yes, Pat Tallman was used in Jurassic Park; and yes, she was mis-
identified in the credits.

jms