Small changes to .bash_aliases