Some bug fixes regarding .bashrc