An argument between two patrons of the Shaw Neighborhood Library Saturday afternoon led to a stabbing in the bathroom, a D.C. Public Library spokesman said.

The two had been arguing before going inside the restroom, where one of the men allegedly stabbed the other in the hand with a pen knife, said library system spokesman George Williams.

Police were on the scene by approximately 2:30 p.m., according to a D.C. police Twitter post. An officer escorted a man, who they are not yet identifying, out of the library in handcuffs roughly 30 minutes later.

Both men sustained injuries and were transported to the Howard University Hospital, he added.

The altercation occurred in one of the library’s second-floor restrooms. The injuries were not life-threatening, said police, and the library remained open after the incident.