Fix a wrapper style bug in libraries.php