Fixed the bug in using google code prettify