Fix docs.js bug