Fixed bug of using google code prettify.