FIXES bug in bash prompt