AITA for my colleague to HR?