fixed js crash when prettify is not loaded