[python] Changing one character in a string