Fixed library.html