Fix bug in 32-bit architectures