slight doc changes in terminal version