bash: fix trivial indentation error in .bash_profile