minor fix to the string length arithmetic.