Replace One Character In String Python Documentation