Small changes to .bashrc