Fix page loading for library.html