Reporting it to HR was the right thing to do. This behavior can become a liability for the company, HR should protect the company from employees like this, so it was in the best interest of the company to report this.