Fix old guy typo #3530

Job	Run time
build (ubuntu-22.04, 1, build, x86_64, linux-x86_64)	16m 51s
build (ubuntu-20.04, 2, build, x86_64, linux-x86_64)	13m 44s
build (self-hosted, linux, arm64, 3, build, aarch64, linux-aarch64)	18m 14s
build (ubuntu-20.04, 4, build, x86_64, linux-x86_64, yes)	5m 57s
build (self-hosted, linux, arm64, 5, build, aarch64, linux-aarch64, yes)	21m 40s
build (macos-13, 6, build, x86_64, darwin64-x86_64)	7m 46s
build (macos-14, 7, build, aarch64, darwin64-arm64)	21m 19s
build (windows-2022, 9, build, Win64, VC-WIN64A)	21m 33s
build (ubuntu-22.04, test, 3.13, 10, x86_64)	16m 46s
build (ubuntu-22.04, test, 3.9, 11, x86_64)	13m 24s
build (ubuntu-22.04, test, 3.10, 12, x86_64)	19m 23s
build (ubuntu-22.04, test, 3.11, 8, x86_64)	7m 47s
merge	0s
publish	0s
	3h 4m 24s

Provide feedback