Small tweak to bash prompt colors