Some micro-improvements to Bash prompt.