Fix CVE-2013-4509