Minor .bashrc changes