Fixed a bug in jwt.js