Fix typo #834

Job	Run time
build-ubuntu-dep-apt (ubuntu-20.04, /usr/bin/gcc-9, /usr/bin/g++-9, 11)	26m 36s
build-ubuntu-dep-apt (ubuntu-20.04, /usr/bin/gcc-9, /usr/bin/g++-9, 14)	27m 16s
build-ubuntu-dep-apt (ubuntu-20.04, /usr/bin/gcc-9, /usr/bin/g++-9, 17)	30m 10s
build-ubuntu-dep-apt (ubuntu-20.04, /usr/bin/gcc-10, /usr/bin/g++-10, 11)	23m 12s
build-ubuntu-dep-apt (ubuntu-20.04, /usr/bin/gcc-10, /usr/bin/g++-10, 14)	24m 16s
build-ubuntu-dep-apt (ubuntu-20.04, /usr/bin/gcc-10, /usr/bin/g++-10, 17)	26m 18s
build-ubuntu-dep-apt (ubuntu-20.04, /usr/bin/clang, /usr/bin/clang++, 11)	31m 11s
build-ubuntu-dep-apt (ubuntu-20.04, /usr/bin/clang, /usr/bin/clang++, 14)	31m 47s
build-ubuntu-dep-apt (ubuntu-20.04, /usr/bin/clang, /usr/bin/clang++, 17)	34m 3s
build-ubuntu-dep-apt (ubuntu-22.04, /usr/bin/gcc-9, /usr/bin/g++-9, 11)	22m 38s
build-ubuntu-dep-apt (ubuntu-22.04, /usr/bin/gcc-9, /usr/bin/g++-9, 14)	23m 24s
build-ubuntu-dep-apt (ubuntu-22.04, /usr/bin/gcc-9, /usr/bin/g++-9, 17)	25m 37s
build-ubuntu-dep-apt (ubuntu-22.04, /usr/bin/gcc-10, /usr/bin/g++-10, 11)	23m 30s
build-ubuntu-dep-apt (ubuntu-22.04, /usr/bin/gcc-10, /usr/bin/g++-10, 14)	24m 43s
build-ubuntu-dep-apt (ubuntu-22.04, /usr/bin/gcc-10, /usr/bin/g++-10, 17)	28m 38s
build-ubuntu-dep-apt (ubuntu-22.04, /usr/bin/clang, /usr/bin/clang++, 11)	32m 51s
build-ubuntu-dep-apt (ubuntu-22.04, /usr/bin/clang, /usr/bin/clang++, 14)	33m 8s
build-ubuntu-dep-apt (ubuntu-22.04, /usr/bin/clang, /usr/bin/clang++, 17)	36m 46s
	8h 26m 4s

Provide feedback