Tiny changes before branching.
Fix terminal.py