slight fix to bash prompt