since our prompt ends with ``$ ``