Small fixes in CVE-2014-2734 (en)