3 ms·

I think that for this kind of minor things it can just be a simple note in the company policy, without being too pedantic about it