According to a report in the Washington Examiner, a state pension plan for Florida teachers held over 41,000 shares in the company that manufactured the semi-automatic AR-15 assault rifle used in the mass shooting at Marjory Stoneman Douglas High School.

The Florida Retirement System Pension Plan contains a document on its website that states it had 41,129 shares, worth $528,000 as of Dec. 31, in American Outdoor Brands Corporation, the Springfield, Mass. based manufacturer produced the AR-15 assault rifle used in the Feb. 14 assault.

The Examiner reports: The teachers’ pension plan also invested in Sturm & Ruger Co., Vista Outdoor Inc., and Olin Corp., all of whom make firearms and ammunition.

The plan is worth a total of $154 billion, which makes its investments in the gun manufacturers minor from a financial perspective.