Minor bashrc fixes