Fix bug in 32-bit python 2