small modifications on strings.py