Fix typo in documentation. #4221

Job	Run time
Build tunix package / Build Tunix wheel	10s
tunix_cpu_unit_tests / run	1m 19s
tunix_tpu_unit_tests / run_dev	25m 8s
tunix_tpu_unit_tests / run_prod	12m 24s
Notify failed build	2s
	39m 3s

Provide feedback