A few minor updates to .bash* files