Changed translation tags in library.php