Fixing up the bash prompt