Correct url of prettify.js