Fixing highlight to Prettify in the commit I missed from today