Fixing domlibrary.js