Fix 32-bit compiler warning

This commit fixes issue #732.