fix typo in string.sub