OK, I was thrown by the use of str(). Sometimes I wish they had just stuck with unicode().

Anyway, what I saw was a hard-coded literal value for the encoding here. Looking at the help for str() in python 3.3 I see that's to decode the first argument to get unicode data, so that's fine, but how do we know that result is definitely utf-8?