Update jp-prettify.js