minor update to core.php