pyterm: make Guido happy