This is, indeed, in /etc/crontab, not a user's.
Also, on further investigation, it appears that some of the sendmail jobs started by cron may have been directed to /dev/null instead of the address that was specified.
Again, the script works fine if I execute it manually, but when called...