Nudist beachgoers ran for the hills when a shark chomped on a man in the water

CBS Miami/screenshot

A man who was getting in some R&R at Haulover Beach in Florida, a beach known for being clothing-optional, was victimized by a 4- or 5-foot-long biting bull shark that sent other beachgoers scrambling to the safety of the sand.

Videos by Rare

RELATED: Blood in the water: a man in North Carolina tried grabbing a shark by the fin and regretted his choice right away

The incident happened Sunday afternoon after lifeguards started alerting people to get out of the water.

The pictures of his injuries floating around look gruesome.

Witness Donovan Cecil told WPLG that he saw the shark head straight for its human prey and “gave him a little tug.”

CBS Miami/screenshot

“It started getting closer to the people at the sandbar and they tried to get out. One guy, it went straight towards him and bit his leg, pulled him, gave him a little tug, and I was freaking out,” he said. “It could have been a lot worse.”

The victim’s leg injuries were not life-threatening.

RELATED: She felt a bump in the water and watched as her arm was torn “clean off” by a monster shark

Miami-Dade Fire Rescue lifeguard Matt Sparling said he hasn’t seen a shark bite incident in his 20 years watching over Miami-Dade County.

“In my 20 years as a lifeguard, this is the first time a person has been bitten here at Haulover Beach, and possibly the first for Miami-Dade County,” he said. “It’s extremely rare. This is the first shark attack in Miami-Dade County that I’ve been aware of working 20 years in ocean rescue.”

Days before the attack, a shark was spotted in the area.

It’s not clear if it was the same one.

What do you think?

Houston’s refugees celebrate new life through art

Will Carmelo Anthony make the Houston Rockets the next “Superteam”?