python: cosmetics