Fix CVE-2013-0156

There are many more to apply, but this one is pretty serious and very easy to fix.