Jan 2014 patch: fix typo in script