Updated lib.html