fix CVE-2013-0238