A police officer was stabbed Wednesday morning in Grindsted, Denmark, during a police matter, resulting in the arrest of a 40-year-old woman. According to a press release from the Southeast Jutland Police, the officer’s injuries are not life-threatening.

The incident occurred when the woman allegedly drew a knife. During the police action, shots were fired, though the woman was not hit.

The injured officer has been taken to a hospital for treatment, and their family has been informed.

Authorities believe this to be an isolated incident and assure the public that there is no cause for concern in the area.

The Independent Police Complaints Authority has been notified of the event. The police have not released any further details.