Maybe clarified terminal/shell distinction