Change in lib.php