fixing typo in lib.php