Overbodige functies uit lib.php verwijderd