Fix doctrine.js version