Austin’s KXAN reports that a 22-year-old woman who was bitten by a shark in Christmas Bay was treated and released from a Galveston hospital and does not expect to have any permanent physical damage.

The shark bite occurred on Monday at at a beach on Follet’s Island, Texas. Kori Robertson was in waist-deep water when she felt a “jerk” on her leg. Upon exiting the water, the woman discovered bite marks on her upper right leg.

According to the KXAN report, doctors believe the woman was bitten by a bull shark (Carcharhinus leucas).