Specify encoding, so it works on Python 2.x