python: typos