mistake in 32-bits version