fix google prettify