Fix typo in lib.php