Police are investigating after an officer shot an aggravated robbery suspect at MLK Boulevard and Meyers Street in South Dallas Wednesday evening.

Officers were in the area searching for the suspect in a carjacking that occurred this week. The 18-year-old suspect, Tradareon Choice, took off on foot when police spotted him, and at one point produced a handgun as he ran back toward officers.

“I saw him run across the street, he was toting something in his hand,” a witness at the scene told News 8. “When I looked closely he had a gun, the police officer was running behind him.”

An officer fired his weapon, hitting Choice once in the leg.

“I was just praying. I didn’t want to see him die over something silly that he made a bad decision on,” said the witness, who asked not to be identified. She said the scariest part was the fact that guns were involved in the incident, which occurred near a school with children around.

Police say no officers were injured. Choice was taken to a hospital with non-life-threatening injuries.

The witness said she was glad to see Choice was only shot in the leg and that a life wasn’t taken. She lauded the officer’s handling of situation.

“I feel like he was very professional with his [weapon], and I feel like that’s how it should always be,” she said.

On Thursday, the Dallas Police Department sent out an update on the case, saying their special investigative unit located and interviewed independent witnesses who corroborated that Choice had pulled a gun from his waistband when approached by police.