fixed a minor error with dumb terminal prompt