3 ms·

Call him and let him know.

• gjm11 10y ago
  I found his email address and sent him an email. I got a reply saying the error had already been noticed. (It hasn't actually been fixed yet, though.)