terminal: remove an unused initialization