Fix typo #838

Job	Run time
windows_mingw64 (windows-latest, Debug)	2m 25s
windows_mingw64 (windows-latest, Release)	2m 24s
linux_clang (ubuntu-latest, Debug)	2m 27s
linux_clang (ubuntu-latest, Release)	2m 19s
linux_gcc_mpopcnt (ubuntu-latest, Debug)	46s
linux_gcc_sanitizers	57s
linux_gcc_mpopcnt (ubuntu-latest, Release)	44s
linux_gcc_valgrind	44s
macos_clang (macos-latest, Debug)	3m 49s
windows_msvc2022	2m 15s
macos_clang (macos-latest, Release)	1m 20s
windows_msvc2022_POPCNT	3m 38s
linux_128bit	11m 5s
linux_gcc (ubuntu-latest, Debug)	42s
linux_clang_mpopcnt (ubuntu-latest, Debug)	2m 16s
linux_gcc (ubuntu-latest, Release)	46s
linux_clang_mpopcnt (ubuntu-latest, Release)	2m 12s
	40m 49s

Provide feedback