Bugfixes to .bashrc