google_codee_prettify fixed