functions.bash: bash_prompt: fix