Hopefully fixing Python 3 compatibility