minor change in StringConc.js