Fix basic API example #1644

Job	Run time
spell-check	5s
lint	23s
type-check	19s
end-to-end-test (ubuntu-20.04, local)	25s
unit-test (ubuntu-20.04, 3.8)	35s
end-to-end-test (ubuntu-20.04, ssh)	1m 18s
unit-test (ubuntu-20.04, 3.9)	41s
end-to-end-test (ubuntu-20.04, docker)	24s
unit-test (ubuntu-20.04, 3.10)	33s
end-to-end-test (ubuntu-latest, local)	20s
unit-test (ubuntu-20.04, 3.11)	38s
end-to-end-test (ubuntu-latest, ssh)	1m 18s
unit-test (ubuntu-20.04, 3.12)	45s
end-to-end-test (ubuntu-latest, docker)	27s
unit-test (ubuntu-latest, 3.8)	43s
end-to-end-test (macos-latest, local)	20s
unit-test (ubuntu-latest, 3.9)	34s
unit-test (ubuntu-latest, 3.10)	31s
unit-test (ubuntu-latest, 3.11)	32s
unit-test (ubuntu-latest, 3.12)	41s
unit-test (macos-13, 3.11)	45s
unit-test (windows-2022, 3.11)	1m 39s
tests-done	1s
	13m 57s

Provide feedback