Depending how large the office / company is, a word to HR should suffice.