python: whitespace fix.