Newly released documents show that the Army reservist who shot and killed five Dallas police officers last month showed symptoms of post-traumatic stress disorder after returning home from Afghanistan in 2014.

Doctors concluded that Micah Johnson posed no significant risk to himself or others after he sought treatment for anxiety, depression and hallucinations.

The documents from the Veterans Health Administration were obtained by The Associated Press under the Freedom of Information Act.

The 25-year-old Johnson targeted the officers at the end of a peaceful march July 7 in downtown Dallas, where demonstrators were protesting fatal police shootings in Minnesota and Louisiana. Authorities deployed a bomb-carrying robot to kill him.