minor change in Substring.js