fix docs.js