Fix bug in CVE-2013-0333 detection