Update string_formatting.py