correction bug prettify.js