Minor tweaks to bashrc