Fix code highlighting in CVE-2014-2525 post