lib.php small changes in comments