One small change for ARM64.