Update library.php