Update prettyPrint.js