Fix library loading in index.html