Update lib.misc.php