py: clean spurious whitespace