Bash Profile: fix formatting