python: fix