email was probably sent
jsjones@acm.org should check his email.