Fixes typo in bash prompt