minor fixes for bash prompt