Oh, Python string concatenation