modify string.py