Don't hard-code ATHENA.MIT.EDU
Remove hard-coded davidben@ATHENA.MIT.EDU

Oops.