Added CVE-2013-3257. Fix #500