Updated pretty.js to latest version