<p>I would let him know, however, so he doesn’t copy and paste the error into another application.</p>