fixed run_prettify.js link