fix a type in InterleavingString.py