terminal: little changes