Minor fix for cron.php