mypy

propose edit: getting_started.rst: replace 'when the program run' with 'when the program runs'

#16700

Merged