Fix library.js