Update lib.php

Undoing a mistake