Fix 64-bit tagged pointer issue.