default: ]] in profile.bashrc fixed