Fixed errors in deprecatedlib.php