Note that this ugly hack is no longer required since I'm using `unicode_literals`.