pedantism in bash_profile template