Fix a nasty off-by one error that only manifests with 64-bit word size (which is
not enabled yet).