added pre tags to put emphasis on some commands