Make it python3-compatible.

I hope this works.