minor change in SubstringTnT.js