More minor cleanup in cron.php.