Minor changes to bash prompt